Philosophy Dictionary of ArgumentsHome | |||
| |||
Impossible World: possible worlds are determined by counterfactual descriptions, specifying conditions for the existence of objects or laws, or a listing of instanced properties. The existence of an impossible world is already excluded by the concept. However, an impossible world can e.g. be characterized by the fact that in it all propositions are true. Then, for an arbitrary sentence A applies A is true and non-A is true. Thus, existence is excluded for every object and property. See also possible worlds, modal logic, necessity, possibility, possible world semantics._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Logic Texts on Impossible World - Dictionary of Arguments
Read III 113 Impossible world/contradictory conditional sentences/Stalnaker/Read: (not counterfactual, here the front link is impossibly true). Solution: Impossible world, where every statement is true. ((s) Then A and not-A ist true at the same time.) Then the contradictory conditional sentences are also all true. Lewis: they are true in an empty way. Read: Worlds (or theories) are concluded with logical consequence. - Then there is only one impossible world. Problem/Read: if we reject EFQ, we need a range of worlds that are both possible and impossible. >EFQ/ex falso quodlibet, >Possible world. _____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Logic Texts Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logic, Englewood Cliffs, New Jersey 1973 - German: Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxes, Cambridge/New York/Melbourne 1995 - German: Paradoxien Stuttgart 2001 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |